home *** CD-ROM | disk | FTP | other *** search
- <?xml version="1.0"?>
- <?xml-stylesheet href="chrome://webdeveloper/content/options/options.css" type="text/css"?>
-
- <!DOCTYPE page SYSTEM "chrome://webdeveloper/locale/options.dtd">
-
- <page onload="parent.webdeveloper_initializeMiscellaneous()"
- xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
-
- <groupbox>
- <caption label="&webdeveloper.forms.caption;"/>
- <label control="webdeveloper.populate.form.fields.email" value="&webdeveloper.populate.form.fields.email.label;"/>
- <textbox id="webdeveloper.populate.form.fields.email"/>
- </groupbox>
- <groupbox>
- <caption label="&webdeveloper.information.caption;"/>
- <checkbox id="webdeveloper.information.tidy" label="&webdeveloper.information.tidy;"/>
- </groupbox>
- <groupbox>
- <caption label="&webdeveloper.warnings.errors.caption;"/>
- <checkbox id="webdeveloper.open.css.console.error" label="&webdeveloper.open.css.console.error;"/>
- <checkbox id="webdeveloper.open.javascript.console.warning" label="&webdeveloper.open.javascript.console.warning;"/>
- <checkbox id="webdeveloper.open.javascript.console.error" label="&webdeveloper.open.javascript.console.error;"/>
- </groupbox>
- </page>